go/types.unifier.nify (method)
19 uses
go/types (current package)
unify.go#L85: return u.nify(x, y, nil)
unify.go#L279: return x == y || u.nify(x, y, p)
unify.go#L286: func (u *unifier) nify(x, y Type, p *ifacePair) (result bool) {
unify.go#L319: return u.nify(nx.under(), y, p)
unify.go#L324: return u.nify(x, ny.under(), p)
unify.go#L377: return u.nify(cx, y, p)
unify.go#L385: return u.nify(x, cy, p)
unify.go#L410: return (x.len < 0 || y.len < 0 || x.len == y.len) && u.nify(x.elem, y.elem, p)
unify.go#L416: return u.nify(x.elem, y.elem, p)
unify.go#L431: !u.nify(f.typ, g.typ, p) {
unify.go#L442: return u.nify(x.base, y.base, p)
unify.go#L453: if !u.nify(v.typ, w.typ, p) {
unify.go#L470: u.nify(x.params, y.params, p) &&
unify.go#L471: u.nify(x.results, y.results, p)
unify.go#L525: if f.Id() != g.Id() || !u.nify(f.typ, g.typ, q) {
unify.go#L536: return u.nify(x.key, y.key, p) && u.nify(x.elem, y.elem, p)
unify.go#L542: return (!u.exact || x.dir == y.dir) && u.nify(x.elem, y.elem, p)
unify.go#L560: if !u.nify(x, yargs[i], p) {